Research methods for formal consensus development
نویسندگان
چکیده
منابع مشابه
Experiments and formal methods for privacy research
In the light of reportedly rising concerns about privacy and their inhibition to electronic business growth, companies could market efficient privacy as a win-win situation. But our understanding into consumers’ privacy attitudes and subsequently into their privacy-related decision-making online remains limited. As academics, we have a hard time recommending concrete measures for effectively im...
متن کاملislanding detection methods for microgrids
امروزه استفاده از منابع انرژی پراکنده کاربرد وسیعی یافته است . اگر چه این منابع بسیاری از مشکلات شبکه را حل می کنند اما زیاد شدن آنها مسائل فراوانی برای سیستم قدرت به همراه دارد . استفاده از میکروشبکه راه حلی است که علاوه بر استفاده از مزایای منابع انرژی پراکنده برخی از مشکلات ایجاد شده توسط آنها را نیز منتفی می کند . همچنین میکروشبکه ها کیفیت برق و قابلیت اطمینان تامین انرژی مشترکان را افزایش ...
15 صفحه اولKnowledge translation consensus conference: research methods.
The authors facilitated a workshop session during the 2007 Academic Emergency Medicine Consensus Conference to address the specific research methodologies most suitable for studies investigating the effectiveness of knowledge translation interventions. Breakout session discussions, recommendations, and examples in emergency medicine findings are presented.
متن کاملProviding User-oriented Support for Software Development by Formal Methods Providing User-oriented Support for Software Development by Formal Methods
Existing tools for software development by formal methods lack user-oriented properties necessary to their eeective use in software engineering. We propose a strategy for overcoming these deeciencies by in-terposing a user-oriented front-end editor between the user and the formal method tool itself. We demonstrate the feasibility of this approach by adapting an existing generic language-based e...
متن کاملAn empirical research agenda for understanding formal methods productivity
Context: Formal methods, and particularly formal verification, is becoming more feasible to use in the engineering of large highly dependable software-based systems, but so far has had little rigorous empirical study. Its artefacts and activities are different to those of conventional software engineering, and the nature and drivers of productivity for formal methods are not yet understood. Obj...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nurse Researcher
سال: 2015
ISSN: 1351-5578,2047-8992
DOI: 10.7748/nr.22.3.35.e1297